chiark / gitweb /
util: properly resolve /dev/console if more than once console= argument was passed...