Manpages of cpuid in Debian jessie