Merge pull request #10274 from gasbytes/crl-idp-extension-fix-follow-up #826

Job	Run time
load-targets	10s
analyze (gcc-arm-cortex-m4, gcc-arm, cortex-m4, sudo apt-get update && sudo apt-get install -y gc...	3m 16s
analyze (gcc-arm-cortex-m4-tls12, gcc-arm, cortex-m4-tls12, sudo apt-get update && sudo apt-get i...	1m 57s
analyze (gcc-arm-cortex-m4-min-ecc, gcc-arm, cortex-m4-min-ecc, sudo apt-get update && sudo apt-g...	2m 0s
analyze (gcc-arm-cortex-m4-baremetal, gcc-arm, cortex-m4-baremetal, sudo apt-get update && sudo a...	2m 8s
	9m 31s

Provide feedback