By default, the PAE kernel is used on 32-bit hardware, where supported by the hardware.