fix kernel codes