Eu já vi alguns relatórios de bugs e perguntas (na stackexchange e em outros lugares) sobre um incômodo "BUG: soft lockup - CPU#<n> stuck for <dt>s!". Até agora, não encontrei nenhuma pista sobre o que fazer ou tentar (em vez disso, as pistas que encontrei e segui não impediram que isso...