[coreboot] [patch] use mptable_write_buses() for ms7135