ACPI RSDP detection code