Manpages of libcpuid-dev in Debian unstable