gerrit.cesnet.cz / github / trini / u-boot / 7c10c57275901939a8ece4a9ef3e7ccb7c12a0ed / board / cpu87 / cpu87.h