From: Justin M. Forbes on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2009#note_1098347...
The `redhat/configs/generic/aarch64/` does not exist in this tree or in RHEL 9, and putting a config entry there is ignored. Please move this to `configs/ark/generic/arm/aarch64/CONFIG_HP_ILO`
@dhorak1 This is already enabled for x86_64 in RHEL and Fedora.