[coreboot] Alias motherboard?

[Oskar Enoksson]

I noticed that "AMD Serenade" motherboard is not listed as supported.
However, supposedly that motherboard is identical to HP DL145 G1. So,
probably using the hp/dl145_g1 motherboard configuration will produce a
ROM that works with "AMD Serenade" aswell.

Are such alias motherboards handled in any particular way? Should the info
at least go into the wiki-page of supported motherboards?