Use dwarf-2 debug symbols for the kernel