Debugging section of README.md leads nowhere

[Nerotos]

Type of issue: bug report

Impact: no functional change

Development Phase: request

Other information
The table of contents of the README has a section "Debugging with GDB". However, the actual section with the contents doesn't exist. It would be good if it could be added back into the documentation at this point.

If the current behavior is a bug, please provide the steps to reproduce the problem:

What is the current behavior?

What is the expected behavior?

Please tell us about your environment:

What is the use case for changing the behavior?
Document how to debug the hardware design using GDB