Add kernbase symbol and use it instead of magic numbers in the
linker script.