[SeaBIOS] [RFC PATCH v4 13/30] piix_pci and pc_piix: refactor