Oh, I didn't know UEFI text mode didn't use VGA text mode! That could be an important consideration. But I suppose you can still frob the VGA registers to set VGA text mode, right? Even if you boot under UEFI?