[Bug 679178] boot stuck: Samsung N130 BUG: soft lockup CPU#0 stuck for ... seconds