[SeaBIOS] Question about linker building seabios