[Tcwg-commits] [toolchain/ci/interesting-commits] branch linaro-local/ci/tcwg_kernel updated (ef19c30 -> 71a4f42)