Issue #2213357 by sun: Use a proper kernel in early installer.