Another update. I had both dtoverlay=imx219 and start_x=1. Turns out dtoverlay is for open source stack and start_x is for closed source stack. when i removed the dtoverlay i got /dev/video0! So the issue we really have is lacking start_x=1 in /boot/efi/config.txt and we can't modfiy that file ourselfs (well we can but we shouldn't)