kernel: Add CONFIG_PPC_QUEUED_SPINLOCKS configuration option