I've just read this under "Device information" in the BMC as dmidecode seems not available. So where would I find this version number? (I'm not a PowerPC expert.)