[OS-BUILD PATCH 2/2] Revert "acpi: prefer booting with ACPI over DTS"