[U-Boot] [PATCH 1/4] Raspberry Pi: add device tree overlay support