There are no Windows 8.1 x64 drivers for the ACPI\INT33BC in the directory. Download DriverPack to select the driver automatically.