The text becf5731037e, as Debian 7 (Wheezy) shipped it.
(optional) exit kgdb_handle_exception early
kgdb_skipexception(9) on Linux now
