Cause and possible remedies for kernel: BUG: soft lockup - CPU#Y stuck for XXs!