Having an installation error doesn't necessarily mean you have to flash your BIOS. The error mentioned in the article that is fixed by a BIOS update doesn't seem to match the error the OP stated. I wouldn't be in a big hurry to flash my BIOS based on that article alone.
alquhait did you give it another try to see if it was just a one time glitch. Did you unplug anything on the first reboot like a USB thumb drive? How did you do the install?