Symbol: arch_kgdb_breakpoint