kernel-development: updates with new numbers