[RFC PATCH] kgdb: Timeout if secondary CPUs ignore the roundup