Is it possible run a 64-bit board and processor with Microsoft Windows XP Pro 32 bit as your operating system?