Patch from Thomas Schlichter <schlicht@uni-mannheim.de>

Adds some missing global_flush_tlb() calls, which are requried after a call
to change_page_attr().