Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode - View it on GitHub