core/util: Fix for platform-specific internals