TIMESTAMP = 1515706070
SHA256 (microcode-20171117.tgz) = 93bd1da9fa58ece0016702e657f708b7e496e56da637a3fe9a6d21f1d6f524dc
SIZE (microcode-20171117.tgz) = 3594762
SHA256 (amd64-microcode_3.20171205.1.tar.xz) = a38bc072f535a3d3c1bf4e9e545197aa5114e979e94ef7e4a67e615df2f853a7
SIZE (amd64-microcode_3.20171205.1.tar.xz) = 32584