No need to reinstall anything, In the x64 bit EFI shell, do the following:
dmpstore BootSelectVariable -s bak.dmp
cp bak.dmp fixed.dmp
Change that last 4byte little endian integer to 0x80. So, say that last sequence is:
A8 00 00 00
You need to change it to:
80 00 00 00
When you've changed it, F2 to save and F3 to get back to the shell.
dmpstore -l fixed.dmp
Now, some commands might be a little different since there's a couple of different shells out there. But, if something doesn't work, try asking around or googling it.
Also, if 80 00 00 00 doesn't work, try 00 00 00 00. And if that doesn't work, ask someone with an T03 to look at the value in his x32 shell.