Failed to find history of kernel/arch/arm/mach-lpc32xx/include/mach/platform.h 7d07b3ae8ddad407913c5301877e694430a3263f