[coreboot] #95: Run coreboot in VirtualBox