small kernel build change