79,80c79,81
< CONFIG_NO_HZ_IDLE=y
< # CONFIG_NO_HZ_FULL is not set
---
> # CONFIG_NO_HZ_IDLE is not set
> CONFIG_NO_HZ_FULL=y
> # CONFIG_NO_HZ_FULL_ALL is not set
87,90c88,89
< CONFIG_TICK_CPU_ACCOUNTING=y
< # CONFIG_VIRT_CPU_ACCOUNTING_NATIVE is not set
< # CONFIG_VIRT_CPU_ACCOUNTING_GEN is not set
< # CONFIG_IRQ_TIME_ACCOUNTING is not set
---
> CONFIG_VIRT_CPU_ACCOUNTING=y
> CONFIG_VIRT_CPU_ACCOUNTING_GEN=y
101c100,102
< # CONFIG_RCU_USER_QS is not set
---
> CONFIG_CONTEXT_TRACKING=y
> CONFIG_RCU_USER_QS=y
> CONFIG_CONTEXT_TRACKING_FORCE=y
107c108,109
< # CONFIG_RCU_NOCB_CPU is not set
---
> CONFIG_RCU_NOCB_CPU=y
> CONFIG_RCU_NOCB_CPU_ALL=y
115c117,118
< # CONFIG_CPUSETS is not set
---
> CONFIG_CPUSETS=y
> CONFIG_PROC_PID_CPUSET=y
194d196
< CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE=y
255c257
< CONFIG_PREEMPT_NOTIFIERS=y
---
> CONFIG_UNINLINE_SPIN_UNLOCK=y
380,381c382,383
< CONFIG_ARM_LPAE=y
< CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
---
> # CONFIG_ARM_LPAE is not set
> # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
471d472
< CONFIG_SYS_SUPPORTS_HUGETLBFS=y
479c480
< CONFIG_SPLIT_PTLOCK_CPUS=4
---
> CONFIG_SPLIT_PTLOCK_CPUS=999999
481c482
< CONFIG_PHYS_ADDR_T_64BIT=y
---
> # CONFIG_PHYS_ADDR_T_64BIT is not set
484d484
< CONFIG_MMU_NOTIFIER=y
512a513
> # CONFIG_XIP_KERNEL is not set
870,871c871,872
< CONFIG_STP=y
< CONFIG_BRIDGE=y
---
> CONFIG_STP=m
> CONFIG_BRIDGE=m
876c877
< CONFIG_LLC=y
---
> CONFIG_LLC=m
1118c1119
< CONFIG_BLK_DEV_NBD=m
---
> # CONFIG_BLK_DEV_NBD is not set
2175a2177
> # CONFIG_USB_FUSB300 is not set
2382d2383
< # CONFIG_HUGETLBFS is not set
2518c2519,2521
< # CONFIG_LOCKUP_DETECTOR is not set
---
> CONFIG_LOCKUP_DETECTOR=y
> # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
> CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
2534,2542c2537,2549
< # CONFIG_DEBUG_RT_MUTEXES is not set
< # CONFIG_RT_MUTEX_TESTER is not set
< # CONFIG_DEBUG_SPINLOCK is not set
< # CONFIG_DEBUG_MUTEXES is not set
< # CONFIG_DEBUG_LOCK_ALLOC is not set
< # CONFIG_PROVE_LOCKING is not set
< # CONFIG_LOCK_STAT is not set
< # CONFIG_DEBUG_ATOMIC_SLEEP is not set
< # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
---
> CONFIG_DEBUG_RT_MUTEXES=y
> CONFIG_DEBUG_PI_LIST=y
> CONFIG_RT_MUTEX_TESTER=y
> CONFIG_DEBUG_SPINLOCK=y
> CONFIG_DEBUG_MUTEXES=y
> CONFIG_DEBUG_LOCK_ALLOC=y
> CONFIG_PROVE_LOCKING=y
> CONFIG_LOCKDEP=y
> CONFIG_LOCK_STAT=y
> CONFIG_DEBUG_LOCKDEP=y
> CONFIG_TRACE_IRQFLAGS=y
> CONFIG_DEBUG_ATOMIC_SLEEP=y
> CONFIG_DEBUG_LOCKING_API_SELFTESTS=y
2562a2570
> # CONFIG_PROVE_RCU is not set
2813,2820c2821
< CONFIG_HAVE_KVM_IRQCHIP=y
< CONFIG_KVM_MMIO=y
< CONFIG_VIRTUALIZATION=y
< CONFIG_KVM=y
< CONFIG_KVM_ARM_HOST=y
< CONFIG_KVM_ARM_MAX_VCPUS=4
< CONFIG_KVM_ARM_VGIC=y
< CONFIG_KVM_ARM_TIMER=y
---
> # CONFIG_VIRTUALIZATION is not set
2822,2824d2822
< #
< # Virtio drivers
< #