Add kernel sources

Change-Id: Ib7496681846bcaeddaf6020fd80cd5de438d0a55