Sounds more like an issue that secure boot is on, make sure to disable that in your UEFI-BIOS. And to be sure you know, KaOS is not Arch or Arch based, what you linked does not apply to KaOS.
If disabling secure boot is not an option, check if the system has the option to boot in legacy BIOS.