kernel build fix