* ${Kernel-Stem}-generic [ppc64el] # default install kernel for ppc64el
== amd64 ==
* ${Kernel-Stem}-generic [amd64] # amd64 kernel, works on all machines though not optimised
== armel / armhf ==
* ${Kernel-Stem}-generic [armhf] # multiplatform kernel, will eventually replace others
== arm64 ==
* grub-efi-arm64 [arm64]
* ${Kernel-Stem}-generic [arm64]
== s390x ==
* ${Kernel-Stem}-generic [s390x]
* s390-tools [s390x]
== riscv64 ==
* flash-kernel [riscv64]
== Germinate workarounds ==
Stop grub-common -> base-files -> awk from selecting gawk. (Since the boot seed doesn't inherit from required for arcane reasons, this is the only way we can make this work reliably ...)