[coreboot] New patch to review for coreboot: 37e4516 Added RAMINIT_SYSINFO. Also re-generated irq_tables.c