Use stock kernel instead of source-built one

There is a big fat warning that building with prebuilt kernels is deprecated and will be removed, so we keep the stock kernel in /vendor/sony/kernel directory and add it to the zip at the end of the building process.