/*
 * Kernel code starts in the next stage.
 * The initial milestone is a verified UEFI boot path.
 */