Neither of those cameras gets lens correction through Apple’s RAW engine, so you will need to use DxO for that. To further your experiment, you can export an image from RAW Power (a JPEG) and import that into Photos. Then try DxO to see if it can correct the lens distortion from the JPEG. I am pretty sure that if that works, then it will also work the same way when you use the RAW Power extension.