x86_64 demo OS: initial implementation

Initial support for the x86_64 demo OS.