the machine is now running fine. Removing the "legacy boot" option unfortunately
also disables the DisplayPort output, which we were using. The BIOS is still
available using HDMI. Reactivating the the legacy bios option also re-enables
the DP output.
Hope this helps
Thanks for sharing this information with us.