Update mempatcher-driver.h