Add the linux_base-c6_64 port, a slave of the linux_base_c6 port, but using x86_64 instead of i686