Loading the kernel seems to fail somewhere, as the page at 2GB is never mapped