adds ca9 related headers and places if-guard to InterruptManager.cpp