Added a 32-bit kernel configuration and disabled the EFI stub.