[coreboot] Patch merged into master: 8273028 Minor ma785gmt clean-up