I think I figured out the problem. Even though it has a 64 bit copy of Windows and a 64 bit efi, it has trouble booting 64 bit linux. It however can boot 32 bit linux flawlessly.