Bug#939681: linux-image-5.2.0-2-armmp-lpae: Enable serial console on Raspberry Pi 3 Model B Plus Rev 1.3

[Heinrich Schuchardt <xypron.glpk@gmx.de>]

Package: src:linux
Version: 5.2.9-2
Severity: normal

Dear Maintainer,

with the 32bit kernel I do not have a serial console on my RPi 3B+.
The serial console works fine with the 64bit kernel.

Please, add the missing configuration items to enable the console:

SERIAL_8250_EXTENDED=y
SERIAL_8250_SHARE_IRQ=y
SERIAL_8250_BCM2835AUX=y

Best regards

Heinrich

-- Package-specific info:
** Version:
Linux version 5.2.0-2-armmp-lpae (debian-kernel@lists.debian.org) (gcc
version 8.3.0 (Debian 8.3.0-21)) #1 SMP Debian 5.2.9-2 (2019-08-21)