[ros-diffs] [ion] 24308: - Save processor state in the PKPRCB in KiInitializeKernel. - Set the booting CPU as idle if no next thread was scheduled. - Raise IRQL to HIGH_LEVEL upon exiting KiInitializeKernel to match the re-lowering to DISPATCH_LEVEL in KiSystemStartup (and subsequent interrupt flush).