include: fix kernel headers patch