work-a-round for Bug 3645 change ARGB->XRGB pixel format
(transplanted from bf4661c6bc44303cf0ecf72f57f09a5968309a10)
EManufacturer=psion
EManufacturerHardwareRev=0
EManufacturerSoftwareRev=0
EManufacturerSoftwareBuild=0
EModel=0
EMachineUid=NE1_TB
EDeviceFamily=crystal
EDeviceFamilyRev=0
ECPU=arm
ECPUArch=0
ECPUABI=arm4
ESystemTickPeriod=15625
EMemoryPageSize=0x1000
ECaseState=0
ECaseSwitch=0
EIntegratedPhone=0
EKeyboardBacklightState=0
ELanguageIndex=0
EKeyboardIndex=0
EMaxRAMDriveSize=0x1000000
ESystemDrive=0xffff
ELocaleLoaded=0
EClipboardDrive=2
EDisplayNumberOfScreens=1
EFastCounterCountsUp=1
EPersistStartupModeKernel=0
ECustomResourceDrive=0xffff
ESerialNumber=0
EPointer3DEnterHighPressureThreshold=0x7fffffff
EPointer3DExitHighPressureThreshold=-0x7fffffff
EPointer3DEnterCloseProximityThreshold=0x7fffffff
EPointer3DExitCloseProximityThreshold=-0x7fffffff
ENumCpus=1