X86/64 for PC usage

There are already 2 laptops on the /e/ device list :