gerrit.cesnet.cz / github / trini / u-boot / c650ca7b4c160193791dc7a52381c71c6a29e871 / board / ip04