[coreboot-gerrit] Patch set updated for coreboot: AGESA f16kb: Build as libagesa.a