s390x: fix debug statement in trigger_page_fault()