Small syntactic change in elf.c
Turn our kernel into a Higherhalf kernel, loaded at 0xC0000000. For this, we needed to change the linker script and the whole boot process. Currently, everything works, except for symbol lookups, which are temporarily disabled