x86/acpi: store ACPI ids from MADT for future usage