TIMESTAMP = 1533753970
SHA256 (microcode-20180807.tgz) = 29f9e8dc27e6c9b6488cecd7fe2394030307799e511db2d197d9e6553a7f9e40
SIZE (microcode-20180807.tgz) = 1629357
SHA256 (amd64-microcode.20180525.tar.xz) = ca2ff90c72e837c9408953edd147efee17a3c96e60ce42a2afa9f484ba5e3ae2
SIZE (amd64-microcode.20180525.tar.xz) = 20476