[coreboot-gerrit] New patch to review for coreboot: be71afe vortex86ex: Fix missing include