kernel config uses debug info for kerrighed

Signed-off-by: Lokesh Mandvekar <lsm5@buffalo.edu>