Index: head/sys/arm/conf/RK3188
===================================================================
--- head/sys/arm/conf/RK3188	(revision 330125)
+++ head/sys/arm/conf/RK3188	(revision 330126)
@@ -1,95 +1,97 @@
 #
 # Kernel configuration for Rockchip RK3188 systems.
 #
 # For more information on this file, please read the config(5) manual page,
 # and/or the handbook section on Kernel Configuration Files:
 #
 #    https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
 #
 # The handbook is also available locally in /usr/share/doc/handbook
 # if you've installed the doc distribution, otherwise always see the
 # FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the
 # latest information.
 #
 # An exhaustive list of options and more detailed explanations of the
 # device lines is also present in the ../../conf/NOTES and NOTES files.
 # If you are in doubt as to the purpose or necessity of a line, check first
 # in NOTES.
 #
 # $FreeBSD$
 
+#NO_UNIVERSE
+
 ident		RK3188
 
 include 	"std.armv7"
 include 	"../rockchip/std.rk30xx"
 
 options 	SOC_ROCKCHIP_RK3188
 
 options 	SCHED_ULE		# ULE scheduler
 options 	SMP			# Enable multiple cores
 options 	PLATFORM
 
 # Root mount from MMC/SD card
 options 	ROOTDEVNAME=\"ufs:/dev/mmcsd0\"
 
 # Interrupt controller
 device		gic
 options 	INTRNG
 
 # ARM MPCore timer
 device		mpcore_timer
 
 # MMC/SD/SDIO Card slot support
 device		mmc			# mmc/sd bus
 device		mmcsd			# mmc/sd flash cards
 device		dwmmc
 
 # Console and misc
 device		uart
 device		uart_snps
 device		pty
 device		snp
 device		md
 device		random			# Entropy device
 
 # I2C support
 #device		iicbus
 #device		iic
 
 # GPIO
 device		gpio
 
 device		scbus			# SCSI bus (required for ATA/SCSI)
 device		da			# Direct Access (disks)
 device		pass
 
 # USB support
 options 	USB_HOST_ALIGN=32	# Align usb buffers to cache line size.
 device		usb
 device		dwcotg			# DWC OTG controller
 
 device		umass
 
 # Ethernet
 device		loop
 device		ether
 device		mii
 device		bpf
 
 # Wireless NIC cards
 options 	IEEE80211_DEBUG
 options 	IEEE80211_AMPDU_AGE
 options 	IEEE80211_SUPPORT_MESH
 options 	IEEE80211_SUPPORT_TDMA
 device		wlan			# 802.11 support
 device		wlan_wep		# 802.11 WEP support
 device		wlan_ccmp		# 802.11 CCMP support
 device		wlan_tkip		# 802.11 TKIP support
 device		firmware		# Used by the above
 
 # USB Ethernet support, requires miibus
 device		miibus
 device		udav
 
 # Flattened Device Tree
 options 	FDT			# Configure using FDT/DTB data