From: Justin M. Forbes on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2111#note_1142...
If you are going to do that, you should probably delete
redhat/configs/common/generic/arm/CONFIG_ACPI_VIDEO as well. The current
configs leave CONFIG_ACPI_VIDEO on for arm and x86. but off for everything
else.