Some buildroot config file update for easier maintenance
The generated buildroot config files are hard to manage. Use the minimal config file format generated by savedefconfig instead. Also update the build command o use BR2_DEFCONFIG.
This is also contains one change to the FVP runtime parameter which enabled virtio based network support.