b56fb0e4dd
to get the right address. This fixes kernel GDB after KSE2. Reviewed by: jhb, jake
to get the right address. This fixes kernel GDB after KSE2. Reviewed by: jhb, jake