[coreboot] [PATCH] amdk8_util documentation (and one fix)