On 9/19/18 3:53 AM, Greg V wrote: > > Yes, of course it was 64-bit. > > I don't think I ever downloaded the 32-bit one... And are you sure it was booted via EFI and not the BIOS emulation CSM (Compatibility Support Module)? I'm fairly sure we _don't_ support booting a 64-bit kernel from 32-bit EFI yet. -- Rebecca