[U-Boot] Why u-boot & linux uses different machineid for at91rm9200dk