vtimer: added disableIRQ to vtimer_remove