Re: [SeaBIOS] Split dev-i440fx.c?