vtimer: renamed e|dINT to disable|restoreIRQ
Merge pull request #931 from haukepetersen/vtimer_irq_fix

vtimer: renamed eINT to enableIRQ