This change sets the `release` of the ARM board at the config file instead of overriding the release on the ArmBoard. This change partially solves issue 932 as the system taking and restoring the checkpoint is consistent across KVM and timing CPUs respectively. Signed-off-by: Kaustav Goswami <kggoswami@ucdavis.edu>