Use runtime-configurable device tree overlays