ACPI: Fix boot problem related to APEI with acpi_disabled set