Are you using the free or the paid? BIOS configuration is a Pro(Paid) feature  [URL] Page 9  
I am looking to change the BIOS password for my units using this the information in the admin guide for WMS 4.1 but I have no such option for ThinOS 9.X policies. Does anyone have a fix for this? 
WMS 4.1 BIOS settings missing