[coreboot] New patch to review for coreboot: 5cf05d6 F15tn / Hudson: Change SATA NumOfPorts register setting