Fixing linux kernel build files