Fixes in tlb miss handler

- Use PSW_EUSR macro instead of 0x400 value
- Use PSW_EUSR instead of PSW_USR in tlb miss handler
- Add missing prolog code before calling check_page_table
- Do not use r1 as return value holder for check_page_table as r1 holds BADVADDR (tlb miss vaddr)