The PCI controller has it's reset line wired up to bit 13 of RCU. Describe this in our .dtsi files. Signed-off-by: Martin Blumenstingl <martin.blumenstingl@googlemail.com>