Use the same naming template and put in arch.h to allow for reuse. Change-Id: I91a28b5f3e75537422d45c2147cb711625f18282 Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>