Add vanilla kernel sources