[PATCH 1/7] firmware: arm_ffa: Some coding style fixes