Fix kernel-headers revision.