gerrit.cesnet.cz / github / trini / u-boot / 81ede187c3e4233c08ab30900e86f5e0ec2c4624 / board / nokia / rx51 / rx51.h