kernel cmdline arguments set in the bootloader? though I'm not sure which has precedence