trusted-firmware-a.mk: use correct CPE ID