[PATCH] ia64: platform_kernel_launch_event is noop on generic kernel