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