AMD - BIOS and Kernel Developer's Guide (BKDG) for AMD Family 15h Models 70h-7Fh Processors - Rev 3.09 - June 20th, 2018 (55072).pdf