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 b42c8d8447280882a277f1f8ebb954200148459f)
@@ -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;