Added u-boot 2014.01 and machines hmi, hmi_gcs2