3.19rc4 should contain the FocalTech support code. Check that it has been built with CONFIG_MOUSE_PS2_FOCALTECH.
Also you could check "OS selection" BIOS setting. If it's set to "Windows 8" change it to "Windows 7" and see if 4.0 boots with that.
3.19rc4 should contain the FocalTech support code. Check that it has been built with CONFIG_ MOUSE_PS2_ FOCALTECH.
Also you could check "OS selection" BIOS setting. If it's set to "Windows 8" change it to "Windows 7" and see if 4.0 boots
with that.