SCHED_DEBUG doesn't appear to do anything => g/c
use a more direct console print
implement rumpuser_dprintf