I will update manually, but I'd really like to know when the problem is fixed, if practical. Thanks for the prompt reply.
Update to 02.01.0002 using the EFI shell completed without a hitch. I actually feel more at home using the shell!
POST completed with no issues and I was able to boot Linux from a CD and all seems good so far.
I will upgrade to 02.02.0005 tomorrow using the shell, already have it ready on a USB.
I think I will do future BIOS upgrades using the shell anyway now that I have become familiar with it.
Any update on this issue? I'm still seeing it.