В случае с VirtualBox у вас есть виртуальный BIOS. Вы найдете его в конфигурации машины в VirtualBox.