options: add option for ignoring patch in resume mechanism

Whatever.

Fixes #1281.