Fix my mistake with Arnaud Dovi's x86 kernel header install patch