Re: [SeaBIOS] allocation zone extensions for the firmware linker/loader