Copy head (r256279) to stable/10 as part of the 10.0-RELEASE cycle.Approved by: re (implicit)Sponsored by: The FreeBSD Foundation
Generate board id's from Linux's mach-types database for all armports. This currently is a nop, but will soon be used to allowsupport for multiple boards to be built into one kernel (starting withAT91RM9200 and expanding out from there).