[Arm-dev] Observations regarding armhfp images