I've been looking how to get a BIOS, with overclocking and AHCI in it. IT'S NOT AMI, Award, Phoenix, or anything else. As I checked on BIOS Backup Tool Toolkit, It says the vendor is actually HP. I think they also made Bioses, not sure though.
My BIOS Information
Vendor : Hewlett-Packard
BIOS Version : 786C1 v02.15
My BIOS Information
Vendor : Hewlett-Packard
BIOS Version : 786C1 v02.15