We added support for 32-bit page tables, without PAE. Add a build target to ensure it doesn't bit-rot. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>