# CONFIG_LOCK_DOWN_KERNEL is not set