FreePBX 40 Bios

Is there available information about the freepbx 40 boxes hardware.. i was trying to see if bios updates were available and where to locate them