Implement pointer size conversion

[hifi]

When it's needed to reserve non-application visible memory or initialize external APIs we need to be able to map system pointers to 32-bit integers if they are returned back to the application as a handle.