[LinuxBIOS] what is the fastest speed of BIOS socket?