Something else I just noticed:
/boot contains initramfs-4.9.35-19.pvops.qubes.x86_64.img
BUT /boot/eft/EFI/qubes does not!
Both /boot and /boot/efi/EFI/qubes contain
"initramfs-4.8.12-12.pvops.qubes.x86_64.img", and the two files differ when
doing a diff on them.
The /boot/efi/EFI/qubes/xen.c
Any update on this?
I just encountered a similar problem:
- Qubes 3.2 indicated there was an update for dom0
- I updated via the graphical utility, installed kernel
4.9.35-19.pvops.qubes.x86_64
- Rebooted
Upon reboot, `uname -a` indicates I'm still running the old kernel.
So I tried manually r