Libcpuid instruction fixes