Sources::LinuxCmdline: produce a JSON document