Disable check for BGA so that the kernel can run on VirtualBox.
Update guide for VirtualBox in README.md.