this should rather be MACH_VEXPRESS_CA9X4. What is the reason for having ARCH_ here? Otherwise, Tested-By: Albin Tonnerre <albin.tonnerre at gmail.com>