Re: [SeaBIOS] [PATCH v4 1/5] romfile_loader: utility to patch in-memory ROM files