Fix parsing Linux kernel release number (again).