From: Daniel Horak on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2009#note_1098490...
I was thinking about converting the existing configs from ```` ./ark/generic/x86/x86_64/CONFIG_HP_ILO ./fedora/generic/x86/CONFIG_HP_ILO ```` into ```` ./common/generic/x86/x86_64/CONFIG_HP_ILO ```` Neither ARK or Fedora build x86 kernels, so x86_64 should be OK.