K 10
svn:author
V 5
marck
K 8
svn:date
V 27
2017-12-23T09:58:55.094141Z
K 7
svn:log
V 177
Merge 2 useful diffs from the dev tree:

- compatibility with verbose boot
- proper treatment for undefined vm_dir

PR:		222496
Approved by:	maintainer-timeout (since 20170921)

END