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