Does anyone know the relationship between the AMD64 port of ubuntu linux and the amd64 port of debian? Is it a pure64 port? Is it based of the current debian AMD64 port?