BIOS的生产厂商有（）、AMI、PHOENIX。