Fix build kernel