At present, the load address and entry point are both "unsigned int". I'm porting to aarch64, and will run the SPL at 0x8031000000. mkimage truncates this to 0x31000000. Are there any plans to support a load address and entry point larger than 32 bits?