In recent kernels, set_memory_ro() and set_memory_rw() are no longer exported. Call them anyway :-) Fixes #496.