Help understanding the kernel release schedule