You can refer to the manual of your HP EliteDesk Desktop. In it, you can check for the boot menu key. On the off chance that you are not able to find the key in this manual, you can connect with your device's manufacturer to know the same.