K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2017-02-23T20:41:55.167716Z
K 7
svn:log
V 424
Fix and shorten BERI kernel builds during universe.

Stop building BERI_DE4_BASE and BERI_SIM_BASE, they aren't particularly
valid as they don't have a root dev.  Do build BERI_DE4_SDROOT which
does so devices get coverage.

Remove ident from BERI_DE4_BASE for the reasons above which will cause
it to fail to build.  BERI_SIM_BASE was already this way and broke
universe.[0]

Reported by:	rpokala
Sponsored by:	DARPA, AFRL

END