Configuring MISC Options

On the BIOS settings page, choose Advanced > MISC Config.
On the MISC Config screen, set Support Smmu to Disabled and Support 44Bit to Enabled.

Parent topic: Configuring the BIOS