[coreboot] New patch to review for coreboot: ebf80ba Tyan s8226: change lapic of lapic_cluster 0 to 0x10