LINUX: Add option to use pre-built kernel