looks like kernel-debug is gone, finally!