Do those existing kernel patches support dynamic devicetree overlays in a running system?