coredump handling by gdb for current kernels. Update the hardcoded constants to reflect the change.
-Erik