The values which IOCTL_HAL_GET_DEVICE_INFO returns can be defined in the registry. (Image V3.4b3 and newer)
[HKLM\Ident] "PlatformType"="..." ;default is "Colibri PXA" "PlatformOEM"="..." ;default is "Toradex"
