[PATCH] armv7m: kconfig adds the NVIC option and masks the GIC option when NVIC is selected