[SeaBIOS] Debug Symbols?

[Steve Goodrich]

I'm trying to debug SeaBIOS (built into coreboot) with GDB.  Would someone
point me to information on how I would generate debug symbols for SeaBIOS?

Thanks!
  -- Steve G.