Add support for 64k page size kernels

Also, add support for debug kernels, mainly so we have some way to test that building works correctly on x86_64, since 64k page sizes are only available on ARM.