Disable check for BGA so that the kernel can run on VirtualBox.
Update guide for VirtualBox in README.md.
Update Assembly64H.md to github markdown style.