Change the return value of flash_area_align() to uint32
https://review.trustedfirmware.org/#/c/trusted-firmware-m/+/1912/