> what if (hypothetical) MorphOS 4.0 runs both on PPC64 and AMD64?

Problem remains the same: person A will be able to register an x64 or PPC64 board for the keyfile (if he does so before person B does) although he is not the legit license owner.