Move IRQ numbers to config lib... and annotate with corresponding ID from top_matcha.h. Git is complaining about the first line of this message > 50 chars? Change-Id: I4d8ca0e22dde28954ebeb4f30e638c10a5e127b5