I'm not sure how to find that out. I have run a load of other commands to get more info, not sure if any of it's helpful but I've added it to the gist linked above. If you want me to run any specific commands, either in u-boot or in the booted linux shell, let me know.