Shell

Change Linux UKI cmdline without regeneration

Fix Docker 'input device is not a TTY' elegantly