6bdffedcb9
/dev/null as the default kernel and /dev/mem filenames, but still allow the usual overrides)
/dev/null as the default kernel and /dev/mem filenames, but still allow the usual overrides)