I found a minor bug in that patch.  Its in mptbase_remove(). I saw
it this morning when compiling a driver for x86_64 platform. Funny
how it didn't complain in x86 system.