ports: Remove typedef of machine_ptr_t, it's no longer needed.

This type was used only for the typedef of mp_obj_t, which is now defined
by the object representation.  So we can now remove this unused typedef,
to simplify the mpconfigport.h file.