Fix kernel build bugs
2 files changed