Minor changes, kernel_begin is now __kernel_start__ to match symbols like "__bss_start__"