build - Fix kernel build issue