I’ve never heard of such a thing, on any computer. Though HP would be that shitty. Sounds like something fishy with your UEFI, you ever update your bios?
I used to do this like 30 times a day sometimes (HP, Dell, Lenovo, Asus), never had an issue with boot menus. The ONLY problem I’ve ever encountered was an external boot triggering bit locker, and locking me out.
What you’ve described is a hell I’ve never experienced, but def does not sound like standard operating procedure.
Thanks for your insight, fartsparkles.