kernel - Try to fix delayed mtime updates on SHARED+RW maps again