x86_64 port

[DrDeano]

As 32 bit is a good start, most PC today use 64bit CPUs. We would like this OS to be modern, so will need to support 64 bit.

In the future, the 32 bit port may be rolled out in favour of 64bit as the default build. 32 bit will still be supported, but second or third to x86_64 and Aarch64 ports.

[SamTebbs33]

Agreed that it should be the default :+1: .