Kernel selection most likely will not have an impact on whether a debian-11-dvm will be created.
You can manually create an AppVM with debian-11 as its template, then enable “Disposable template” in this appvm’s settings. This will effectively make it a debian-11-dvm. You just need to tune the global settings to make it the default dispvm.