[SeaBIOS] [PATCH 0/5] Use wrappers for VGA IO port accesses