Does that mean that the next Debian ISO installer will use Linux kernel
5.5.13.1 or later?
Because, if that is not the case, this bug is certainly not fixed at all
and must be reopened.
To reiterate, the problem is that the official netinst ISO cannot
perform a network installation of the Debian packages due to its use of
a 4.x kernel that is lacking an ACPI compatible Genet driver.
This means that the *installation* 4.x kernel (i.e. the default kernel
used by the installer, which, unlike the post installation kernel, is
not something that can be upgraded) must be patched with a retrofitted
Genet driver.
In other words, if this is considered fixed simply because the
additional Debian kernel package has been updated to latest mainline,
then this is *NOT* fixed at all, as the one and original problem of not
being able to perform a networked installation of Debian on a Raspberry
Pi 4 will remain.
I would therefore appreciate if you can please answer the following:
Will the next release of Debian ditch 4.19 kernels altogether and switch
to the 5.5.13-1 (or later) kernel for its installer?
Only if the answer to the question above is "yes" can the issue be
considered fixed.
But if the answer is no, then you must reopen this issue and apply the
proposed fix, as the 5.5.13.1 update will not address this issue at all.
Thank you,
/Pete
