Re: [ARK PATCH] Fixes "acpi: prefer booting with ACPI over DTS" to be RHEL only