[SeaBIOS] Re: [PATCH] Use readelf -WSrs instead of objdump -thr so that llvm-readelf can be used as a replacement