Keir,

The 1GB patches broken 32bit PAE build. Very sorry about it. The 
attached is the patch to fix compilation for 32bit PAE.

Thanks,
-Wei

Signed-off-by: Wei Huang2 <wei.huang2@amd.com>