[coreboot] amdk8_util (and amdfam10_util) fix and documentation