AMD... never let me down, easy overclocking, very good at keeping cool and offers best value for money.
He's on somewhat of a budget, and like I said, AMD would be more suited towards a budget for a gaming system... AMD CPU's have also been proven to out perform majority of Intel CPU's of similar speeds, though a quick check online will help you determine your best option if you have a few CPU's in mind.