gerrit.cesnet.cz / github / trini / u-boot / b5f9756f7f2449cf1b6c3e64dbc40f159f7dcbe2 / arch / arm / cpu / armv7 / tegra30