Needed to load the kernel properly. Change-Id: Iab520398271be2ee3a740af4104960367c3b4ea9 Reviewed-on: https://review.haiku-os.org/c/haiku/+/3585 Reviewed-by: waddlesplash <waddlesplash@gmail.com>