To configure my ThinkPad X13 running Linux Mint for VirtualBox, enter the BIOS menu and set to On the following parameters:
If you can read English, check the English part of the site.