Fix kernel build 1st attemp