Re: [SeaBIOS] [PATCH 00/10] build: Allow 32bit sections to be at fixed locations