Fix kernel release issues