Starting to flesh out the amd64-pc target