add kernel build option