@Mazze that stuff is only really used on x86_64 atm in the acpi code ..