[coreboot] Patch merged into coreboot/master: 931df3a F15tn / Hudson: Change SATA NumOfPorts register setting