target-i386: simplify SMAP handling in MMU_KSMAP_IDX