+NOT_KF_MI_HEADERS = AppleARMCPU.h AppleARMFunction.h AppleARMIICController.h \
+ AppleARMIICDevice.h AppleARMIISController.h \
+ AppleARMIISDevice.h AppleARMIO.h AppleARMIODevice.h \
+ AppleARMNORFlashController.h AppleARMNORFlashDevice.h \
+ AppleARMPE.h AppleARMRTC.h AppleARMSPIController.h \
+ AppleARMSPIDevice.h