Index: kernel/arch/arm32/include/security_ext.h
===================================================================
--- kernel/arch/arm32/include/security_ext.h	(revision 7a38962632e530967be4d27ffab7f9f38716b7f6)
+++ kernel/arch/arm32/include/security_ext.h	(revision 4a79e6f7f7c1bdc492122d726834d3e6092b9132)
@@ -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;