Support for dual pae/no-pae build (x86 arch).