[ 1311.379829][    C0] clocksource: Watchdog remote CPU 1 read timed out