Move IRQ numbers to config lib and annotate with corresponding ID from top_matcha.h Change-Id: I026a541a6d7136261c316510a66e8e39d7313491