Add book3s_64 highmem asm code