You can check the entries of the EFI boot manager by calling efibootmgr or efibootmgr -v Before rebooting the client. Normally you should see an entry Debian there. Also check the boot order. -- regards Thomas