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