ipc_schedule_free() can do vfree() directly now