* We can't update boot.scr without updating the prebuilt BL33, which sucks. So, unconditionally flash. Change-Id: I9c4267d03e8743ca73ef86c4ead6e838dc98af6b
* We can't update boot.scr without updating the prebuilt BL33, which sucks. So, unconditionally flash. Change-Id: I9c4267d03e8743ca73ef86c4ead6e838dc98af6b