Fixing bug in dev_mp when returning amount of memory (it was truncated to 32 bits). Found during YCX5 development.
Authored by: debug 2018-03-02
Parent: [r5884]
Child: [r5886]
