[OS-BUILD PATCH 1/2] Revert "Fixes "acpi: prefer booting with ACPI over DTS" to be RHEL only"