Maybe that is what it was, you need to flash the BIOS ?

For the tech people at work it was not a too difficult thing to do.

I am no longer there, so I have no one to ask now :(