We want a separate find_pte() function so we can call it for populating the
switcher PTE entries.

We can also use it in page_writable().
Signed-off-by: NRusty Russell <rusty@rustcorp.com.au>