gerrit.cesnet.cz / github / trini / u-boot / 6f43ba70d15e15a08c25b3d956c70addb6740737 / arch / arm / cpu / armv7m / cpu.c