Build 8017 on linux?

Is Build 8017 just for windows? When I go to the service pack website on our linux server I only get the download for build 8007. Thank you.