A kernel.org status update