Oh God fuck HP, their EFI always seems to be the most crippled yet full of BS ones. Unfortunately we currently have a deal with HP at work for workstations and had all kinds of B/S going on with the setup utility, upgrading it, enabling stuff etc. we were with Fujitsu for ages before and they mostly just had very stock looking setups that even were still good old text mode.