[U-Boot] [PATCH] ppc/8xxx: Delete PCI nodes from device tree if not configured