Index: kernel/arch/arm32/include/security_ext.h
===================================================================
--- kernel/arch/arm32/include/security_ext.h	(revision a640bc16cd3d7e9a79be3f918bb85b4f75d7d096)
+++ kernel/arch/arm32/include/security_ext.h	(revision 088b33443bffe958b7f9121e9b4dfa4228b29516)
@@ -48,5 +48,5 @@
 static inline bool sec_ext_is_implemented()
 {
-#ifdef PROCESSOR_armv7_a
+#ifdef PROCESSOR_ARCH_armv7_a
 	const uint32_t idpfr = ID_PFR1_read() & ID_PFR1_SEC_EXT_MASK;
 	return idpfr == ID_PFR1_SEC_EXT || idpfr == ID_PFR1_SEC_EXT_RFR;