[SeaBIOS] Split dev-i440fx.c?