Fixing carbon-kernel release versions