The text 83aca2a33d7b, as Debian 7 (Wheezy) shipped it.
Get other CPUs into a holding pattern
kgdb_roundup_cpus(9) on Linux now
