Como habilitar a quinta porta serial no Debian 7

Question

Eu coloquei uma nova instalação do Debian 7.9.0 em uma placa-mãe ASRock IMB-150 e apenas 4 das 5 portas seriais on-board parecem estar ativadas.

root@myhost:~# dmesg | grep tty
[    0.000000] console [tty0] enabled
[    1.476855] serial8250: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
[    1.497885] serial8250: ttyS1 at I/O 0x2f8 (irq = 3) is a 16550A
[    1.518912] serial8250: ttyS2 at I/O 0x3e8 (irq = 4) is a 16550A
[    1.539944] serial8250: ttyS3 at I/O 0x2e8 (irq = 3) is a 16550A
[    1.561202] 00:07: ttyS0 at I/O 0x3f8 (irq = 4) is a 16550A
[    1.604531] 00:08: ttyS1 at I/O 0x2f8 (irq = 3) is a 16550A
[    1.648446] 00:09: ttyS2 at I/O 0x3e8 (irq = 7) is a 16550A
[    1.688367] 00:0a: ttyS3 at I/O 0x2e8 (irq = 7) is a 16550A
root@myhost:~#

Eu também instalei o setserial e obtenho esta informação:

root@myhost:/# setserial -g /dev/ttyS*
/dev/ttyS0, UART: 16550A, Port: 0x03f8, IRQ: 4
/dev/ttyS1, UART: 16550A, Port: 0x02f8, IRQ: 3
/dev/ttyS2, UART: 16550A, Port: 0x03e8, IRQ: 7
/dev/ttyS3, UART: 16550A, Port: 0x02e8, IRQ: 7
root@myhost:/#

Eu entendo que isto é porque o Debian 7 detecta apenas um máximo de quatro portas por padrão. Eu segui as instruções que encontrei aqui , editando o arquivo grub, mas isso parece não ter tido efeito. Talvez estas instruções se apliquem a uma versão diferente do Debian ou Ubuntu.

Alguém pode me dizer como ativar a quinta porta serial?

Obrigado.