using cyanogenmod_skomer_defconfig for kernel