Copy head (r256279) to stable/10 as part of the 10.0-RELEASE cycle.Approved by: re (implicit)Sponsored by: The FreeBSD Foundation
Add reference kernel configurations for FreeBSD/beri in simulation, on theTerasic DE-4, and Terasic tPad Altera-based boards.Sponsored by: DARPA, AFRL