Expected bare-metal for first 32-bit address bank unless (k)VMX was grub'd.