small kernel build fix