Utility: Add PlatformDeinit extern function
These are defined in platform-specific utility source modules