* Copy missing file to the kernel header package * Dirty workaround which fixes out of the three compilation