boardconfig changes for building kernel
only copy prebuilt kernel and modules if we want to use a prebuilt kernel.