Ok, resolved! I had to remove the entry from Dell BIOS and add it again; the path is had set was incorrect.
On another note, during setup I used GB keyboard layout to set the password "#&:tempPassword!". I could not then decrypt during boot. Either it is not recognising certain chars in the luks passphrase, or it is using the default US keyboard layout and thus I cannot type the correct password. No idea how to change the layout during boot. I have had to reinstall with default US keyboard layout with password "tempPassword!" and I'm able to boot, so I'm quite sure it's not the symbols but the keyboard layout being the issue here. -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/5895d776-6abb-4c1c-858a-1f37e6d0107a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.