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