The previous patch removed the CONFIG_SERIAL_8250_ASPEED_VUART symbol. The problem is fixed in this patch.
>From 4d99aeaf7941c9df0e8a9760d1388e9f9a28a438 Mon Sep 17 00:00:00 2001 From: Marc Kleine-Budde <m...@blackshift.org> Date: Wed, 24 Jun 2020 09:38:58 +0200 Subject: [PATCH] [armhf] enable AUX serial port driver for Raspberry Pi 2/3/4
--- debian/config/armhf/config | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/debian/config/armhf/config b/debian/config/armhf/config index 08462e6655d3..fcce604308cf 100644 --- a/debian/config/armhf/config +++ b/debian/config/armhf/config @@ -1371,8 +1371,10 @@ CONFIG_SERIAL_8250_CONSOLE=y CONFIG_SERIAL_8250_DMA=y CONFIG_SERIAL_8250_NR_UARTS=5 CONFIG_SERIAL_8250_RUNTIME_UARTS=5 -# CONFIG_SERIAL_8250_EXTENDED is not set +CONFIG_SERIAL_8250_EXTENDED=y CONFIG_SERIAL_8250_ASPEED_VUART=m +CONFIG_SERIAL_8250_SHARE_IRQ=y +CONFIG_SERIAL_8250_BCM2835AUX=y CONFIG_SERIAL_8250_DW=y # CONFIG_SERIAL_8250_EM is not set CONFIG_SERIAL_OF_PLATFORM=y -- 2.27.0