[coreboot] Patch set updated for coreboot: f59736a F15tn / Hudson: Change SATA NumOfPorts register setting