When doing a reboot nothing seems to happen. No message, no feedback. After
some seconds the system freezes and several (way too much, something like
20) seconds later the system reboots...
Something needs to be fixed here, at least printing some messages and
reducing the reboot delay.
messages were on another console.
fixed in 0.14