I doubt the general public would approve of a budget for buying thousands and thousands of AMD video cards. I'm not so sure that would get past any budget hearing.
general public has no say; I think it depends on what district its affecting. if Boehner can get a local PC store from his district to sell the govt the hardware + assembly, and electricity payments to the district's local supplier, etc he'd sneak it in to some unrelated bill.

/kidding