Signed-off-by: Martin Roth <gaumless@gmail.com> Change-Id: I9440d7a81e2a8b2bed87838fd5b11e71ac744f12 Reviewed-on: https://review.coreboot.org/c/coreboot/+/80064 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>