He'll lose his ability to switch between intel / ati if he uses anything other than the drivers provided by HP. If you don't care about that then Jims suggestion should work fine.
Primary Gaming Machine:
ASRock Z87 Extreme6 | Core i7-4770K @ 4.3 | 16 gig Dual Channel Gskill 1600 10-10-10-30 | Sapphire 7970 | X-plosion 7.1 | Dell 2405FPW+Acer X223W | Corsair HX850 850W | Win7 SP1 x64
Gigabyte GA-X58A-UD3R | Core i7-920 @ 2.8ghz | 12 gig Triple Channel Gskill 1333mhz 7-7-7-18 | MSI 6970 | X-plosion 7.1 | Westinghouse LCM22w3+Westinghouse VM-42F140S | Corsair CMPSU-850TX | Win7 SP1 x64
Gigabyte GA-X48-DS4 | Core 2 Duo E8400 @ 3.4ghz | 8 gig Dual Channel Gskill 1066mhz 5-5-5-15 | Sapphire 5770 | X-Mystique 7.1 Gold | Westinghouse VM-42F140S | CoolergiantVHB 480W | Win7 SP1 x64