IOCTL HAL GET DEVICE INFO registry settings
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"