Wince kernel customization