what was wrong with the HDMI ports?

can you access BIOS?

can plug a Linux boot thumb drive from USB?