Booting with 8250.nr_uarts=0 results in no serial console output after efistub and no /dev/ttyS* devices. So we'll need to bump SERIAL_8250_RUNTIME_UARTS, too.