Cool, will give it a try soon.
I finally managed to test - now already - 4.17.0-3-mckinley on all of my
Itanium machines. Works great on most of them:
```
root@rx2660:~# dmesg | grep hp
[ 0.000000] booting generic kernel on platform hpzx1
[ 0.040000] DMI: hp server rx2660 , BIOS 04.04
07/15/2008
root@rx2660:~# uname -a
Linux rx2660 4.17.0-3-mckinley #1 SMP Debian 4.17.17-1 (2018-08-18) ia64
GNU/Linux
root@rx4640:~# dmesg | grep hp
[ 0.000000] booting generic kernel on platform hpzx1
[ 0.112000] DMI: hp server rx4640 , BIOS 02.13
03/22/2004
root@rx4640:~# uname -a
Linux rx4640 4.17.0-3-mckinley #1 SMP Debian 4.17.17-1 (2018-08-18) ia64
GNU/Linux
root@rx2620:~# dmesg | grep hp
[ 0.000000] booting generic kernel on platform hpzx1
[ 0.060000] DMI: hp server rx2620 , BIOS 04.29
11/30/2007
root@rx2620:~# uname -a
Linux rx2620 4.17.0-3-mckinley #1 SMP Debian 4.17.17-1 (2018-08-18) ia64
GNU/Linux
```
All machines were netbooted with ELILO v3.14 from Wheezy.