[PATCH] kill include/linux/platform.h, default_idle() cleanup