Apologies for the extremely stupid question I asked earlier. I installed 32 bit drivers and games like Portal now start up but run into issues when the first portal is about to open.