Same problem here: The boot options in the bios are not editable. I installed latest bios and firmware. Did anybody find out any trick to get linux running on this machine?
---> Ahhh!!! Got it: After setting the "Supervisor Password" in bios, all greyed out options (including secure boot...