Index: head/sys/arm64/include/pte.h
===================================================================
--- head/sys/arm64/include/pte.h
+++ head/sys/arm64/include/pte.h
@@ -63,11 +63,7 @@
 #define	ATTR_IDX(x)	((x) << 2)
 #define	ATTR_IDX_MASK	(7 << 2)
 
-#ifdef SMP
 #define	ATTR_DEFAULT	(ATTR_AF | ATTR_SH(ATTR_SH_IS))
-#else
-#define	ATTR_DEFAULT	(ATTR_AF)
-#endif
 
 #define	ATTR_DESCR_MASK	3