when you connect the external display, hit f8. it should automatically switch to the external display. though it may take several attempts, if it is cycling thorugh different screen options.
The display key is F4, but even so, it doesn't seem to change the display settings until you log into the desktop, which I can't do right now.
I dunno, maybe my HDMI port is broken too, but I doubt it.