[coreboot] [PATCH] MS7135 fixes and updates