On Thu, Sep 08, 2022 at 08:49:03AM -0700, Tim Harvey wrote: > Add PCIe support on the Gateworks GW74xx board. While at it, > fix the related gpio line names from the previous incorrect values. > > Signed-off-by: Tim Harvey <tharvey at gateworks.com> Applied, thanks!