update for booting kernel