[LinuxBIOS] Chipset docs for ITE 8712F missing