[Bug 751114] Review Request: sgabios - bios option rom for serial port display