Re: [SeaBIOS] Debug Symbols?