config: Embed Device Tree generation in config

Equips the config routine with an extra commandline option
--generate-dtb that will generate a dtb file automatically before
running the simulation. Only works with ARM systems and gives a warning
if the simulated system is not of --machine-type VExpress_GEM5_V1.

Change-Id: I7766e5459fd9bec2245de83cef103091ebaf7229
Reviewed-by: Curtis Dunham <>
Reviewed-by: Andreas Sandberg <>
Maintainer: Andreas Sandberg <>
3 files changed