config and debian RT kernel post