ARM defconfigs: add missing inclusions of linux/platform_device.h