Merge pull request #726 from ploetzma/fixLinux

Fix witherspoon linux kernel release