[SeaBIOS] [PATCH 1/5] piix: add and use dev-piix.h