Don't copy a prebuilt kernel