u-boot port for Tuna (Galaxy Nexus)