Re: [coreboot] [patch 1/7] Add pci id for VT8237A SATA controller.