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