3d89c2cdb2
linker sets don't work and thus neither does the kernel. This should stop being a problem with an improved linker set mechanism in the pipeline (see the bootloader) but for now this has to stay like this.