and welcome to the forums.
This is a licensing question and not so much a technical one. Please contact Customer Service (firstname.lastname@example.org) or open a Web Ticket to have this confirmed in written form.
Be aware that there are different hardware revisions of the 80C. The original one had 512 MB RAM, the upgraded v2 has 1 GB. Old and new models do not form a cluster. Unless you use a special option to ignore the hardware difference. But then, the larger RAM of the new unit will not be used.
"Kernel panic: Aiee, killing interrupt handler!"