Change supported architectures and default installed kernels. The x86_64 kernel will be installed and used on compatible hardware, even when installing a 32-bit operating system. The PAE kernel will be used on 32-bit hardware, where appropriate