Pass the firmware ACPI RSDP through boot_info so the kernel can locate the FADT. Shutdown now writes the S5 sleep type to the PM1a/PM1b control blocks advertised by the FADT instead of fixed QEMU/Bochs/VirtualBox ports. - boot: capture the ACPI 2.0/1.0 RSDP from the UEFI configuration table - kernel: add platform/acpi; walk RSDP -> RSDT/XSDT -> FADT - syscall: power_shutdown calls acpi.poweroff()