fix kernel build3