是否有64位版本的U-Boot的uImage头结构？

Question

U-Boot头文件image.h定义uImage的头结构。我注意到uImage头的地址字段（加载和入口地址）被定义为uint32类型。

此定义是否限制在64位平台上使用uImage？是否有uImage标头结构的64位版本？