fixes kernel start bug