Merge proposals

libcpuinfo dev mailing list has no merge proposals.