VERDE_SMC_UCODE_SIZE
smc_req_size = ALIGN(VERDE_SMC_UCODE_SIZE, 4);
ucode_size = VERDE_SMC_UCODE_SIZE;