Re: [Arm-dev] Observations regarding armhfp images