[coreboot-gerrit] Patch set updated for coreboot: 0c50cfb hudson boards: Don't require ide.asl file on boards without IDE