Move IRQ numbers to config lib and annotate with corresponding ID from top_matcha.h

Change-Id: I026a541a6d7136261c316510a66e8e39d7313491
2 files changed