[PATCH] missing platform_device.h includes