Thank you for this interesting information. I use systemd-boot with secure-boot. I do not know if it has the same issue, but I hope not. If it does, I might consider switching my boot loader or when nmbl is ready ditch it entirely. Like thingsiplay mentioned though, it still might be a good idea to use an iGPU for debugging purposes.