diff --git a/sys/arm/conf/AVILA b/sys/arm/conf/AVILA
index dc3e10e3d6d9..47a55c61e0a6 100644
--- a/sys/arm/conf/AVILA
+++ b/sys/arm/conf/AVILA
@@ -115,9 +115,6 @@ device		pty
 device		loop
 device		if_bridge
 
-# To make an SMP kernel, the next two are needed
-#options 	SMP			# Symmetric MultiProcessor Kernel
-#options 	APIC_IO			# Symmetric (APIC) I/O
 options 	XSCALE_CACHE_READ_WRITE_ALLOCATE
 device		md
 device          random          # Entropy device