Kernel used in firmware