Looks like the docs page http://www.coreboot.org/Datasheets#AMD_4 can be updated: http://support.amd.com/us/psearch/Pages/psearch.aspx?type=2.2%3B2.3&product=2.7.4.3.5.3.2&contentType=Tech+Doc+Embedded&ostype=&keywords=&items=20 -- Andriy Gapon