No returning to kernel.s