Fix ODROID XU4 boot by disabling PROVE_LOCKING in kernel

ODROID XU4 fails to boot after update to Linux 6.6. Comparing downstream
kernel config with upstream exynos defconfig shows it has various lockdep
options enabled, and PROVE_LOCKING seems to be the one that causes the
issue. It seems it (or any of PROVE_RCU, TRACE_IRQFLAGS or
PREEMPTIRQ_TRACEPOINTS) which get enabled along with it) probably
triggers some timing issues on the I2C bus, which causes the main PMIC
to fail to properly initialize all voltages.

Since these options should not have any real impact on our system, the
easiest option is to disable them. If we need them, or want to stay
closer to upstream defconfig, further debugging is needed.

Fixes #3137

buildroot-external/board/hardkernel/odroid-xu4/kernel.config

@@ -2,3 +2,5 @@ CONFIG_KERNEL_LZ4=y
 # CONFIG_KERNEL_GZIP is not set
 
 # CONFIG_S3C2410_WATCHDOG is not set
+
+# CONFIG_PROVE_LOCKING is not set