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