fix kernel build issue