Yes, correct.
I suppose, if you don’t want to wait, you could downgrade, clean up your EFI partition manually and then update again but I would just wait and see.
Yes, correct.
I suppose, if you don’t want to wait, you could downgrade, clean up your EFI partition manually and then update again but I would just wait and see.