original_kernel/arch/arm/plat-stmp3xxx/Makefile