OpenCloudOS-Kernel/drivers/soc/ux500/Makefile