Raspberry Pi: add device tree overlay support