Use boot kernel