First booting kernel