Driver core: Make platform_device.id an int

While platform_device.id is a u32, platform_device_add() handles "-1"
as a special id value. This has potential for confusion and bugs.
Making it an int instead should prevent problems from happening in
the future.

Signed-off-by: Jean Delvare <khali@linux-fr.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@suse.de>

diff --cc drivers/base/platform.c
Simple merge

diff --cc include/linux/platform_device.h
Simple merge