fix kernel build