My P67 MiniATX ASUS uses AMI bios as does my ASrock mini-ITX Z68. They look almost identical with just different coloring - MB manufacturers buy BIOS from AMI, Award, etc and then customize it and release there own versions (i.e. ASUS Bios should not work on a ASRock board, etc).
Both manufacturer's have Windows based BIOS updater's you can DL from there respective web sites - just look up you motherboard on the Manufacturer's website and select the downloads tab and DL the Windows BIOS updater.
I have found that my ASUS board will automatically try and overclock on default settings (I have a i7-2600k) and it is a bit aggressive - since I have a stock cooler I was experiencing system crashes under default settings. Also recently using 3-4 different MB's my experience is that you can almost garuantee that the BIOS will incorrectly setup the memory speed/timing - more and more memory manufacturers are using XMP (which automatically sets up the correct standard params) memory but the BIOS typically does not lock on this by default and either goes too aggressive or is wrong. So you may need to set the memory speed to "XMP Profile 1" and back off on the clock multiplier ratio for the CPU (my ASUS board tried to run at 42x multiplier when Turbo Boost should be at 36x).
If you bought the system pre built I would hope whom ever you bought it from would have gone in and made sure these issues have been taken care of.