Update kernel and remove debugger