[coreboot-gerrit] Patch set updated for coreboot: edfdae1 rambi: disable HDA device