[kernel] Guess I'm supposed to get the address of kernel_end and not its value. Oops. Also added kernel_start for fun.