[OS-BUILD PATCHv3 2/2] Update CONFIG_PPC_QUEUED_SPINLOCKS

From: Justin Forbes <jforbes(a)fedoraproject.org&gt; Update CONFIG_PPC_QUEUED_SPINLOCKS diff a/redhat/configs/common/generic/CONFIG_PPC_QUEUED_SPINLOCKS b/redhat/configs/common/generic/CONFIG_PPC_QUEUED_SPINLOCKS --- a/redhat/configs/common/generic/CONFIG_PPC_QUEUED_SPINLOCKS +++ b/redhat/configs/common/generic/CONFIG_PPC_QUEUED_SPINLOCKS @@ -1 +1 @@ -# CONFIG_PPC_QUEUED_SPINLOCKS is not set +CONFIG_PPC_QUEUED_SPINLOCKS=y -- https://gitlab.com/cki-project/kernel-ark/-/merge_requests/560