#164 kernel builds only happen on Linux