dmesg
muestra muchos mensajes de serial8250:
$ dmesg | grep -i serial
[ 0.884481] Serial: 8250/16550 driver, 32 ports, IRQ sharing enabled
[ 6.584431] systemd[1]: Created slice system-serial\x2dgetty.slice.
[633232.317222] serial8250: too much work for irq4
[633232.453355] serial8250: too much work for irq4
[633248.378343] serial8250: too much work for irq4
...
No he visto este mensaje antes. ¿Qué significa generalmente? ¿Deberia estar preocupado?
(Según mi investigación, no es específica de la distribución, pero en caso de que sea relevante, veo los mensajes en una instancia EC2 que ejecuta Ubuntu 16.04).