Hello basti, no that kernel is not installed onto the image, that is Debian-upstream until now. You could using a normal amd64-PC and change debian-rpi3-arm64.yaml to download and install this kernel for a read-to-use image. Maybe I'll add this for the next release image. best regards, Florian La Roche