You don't need to reboot just to find out what BIOS version you are running.

Run this as root.

dd if=/dev/mem bs=32768 skip=31 count=1 | strings -n 10 | grep -i bios