Update dev configuration with crmc 2.0.1 patched version to 2.0.1p4 to pick new patch

4 jobs for SPI-2059_crmc_headers in 7 minutes and 24 seconds (queued for 3 seconds)