Following is a response from Intel's experts on the embedded development tools:
We will not be able to help with firmware debug via GDB, as the trick with debugging firmware is that the symbol info layout is not available in a centralized location as with normal applications.
However we do have a new tool that is part of our upcoming "Emberson" tool suite - the Intel® JTAG Debugger (XDB) that should be able to help you.
"Emberson" is in beta. If by any chance you are part of that beta program, you could communicate directly with the development team in 1 of 2 ways:
1. Submit an issue in the “Tool Suite code-named Emberson Beta” beta product at https://premier.intel.com
2. Send an email to EmbeddedDevTools@intel.com.
These resources are only available to you today if you are participating in the beta program since Emberson has not yet been generally released.
I hope this helps
J. Felix McNulty
Community Moderator (Intel contractor