@sudburr he’s running 0.32 so x86 is the only usable kernel for him.
He must use the x86 otherwise everything will break.
That said I’d actually recommend using the 3.0.1 32 bit kernel. I say this as Windows 8/Windows 10 configs off of vm seem to break kernel loading. 3.0.1 apparently just works.