AMD64: More fixes and progress