[coreboot-gerrit] Patch merged into coreboot/master: ce7a802 mainboard/asus/m5a88-v/devicetree.cb: Fix formatting