Re: [OS-BUILD PATCH 0/2] arm: revert RHEL only preference for ACPI tables