[PATCH] drivers/edac/edac_mc.h must #include <linux/platform_device.h>