TODO: add "debug" kernel cmdline switch