What then is the process to request that a change be made in the default configuration to have CONFIG_SERIAL_NR_UARTS=24 and not the present default of 4.
Create a Request For Enhancement bug entry against the kernel rpm on https://bugzilla.redhat.com/bugzilla/index.cgi
Success, Willem Riede.