Remove an allocation when using register_user_allocation#35

biddisco wants to merge 2 commits intomasterghex-org/hwmalloc:masterfrom

user_allocghex-org/hwmalloc:user_allocCopy head branch name to clipboard