[SeaBIOS] [PATCH 10/31] Add portaddr_t typedef to specify I/O port addresses