Your understanding is correct.
For x8 address, the last starting address should be XFE0000h-XFFFFFFh.
I will try to contact documentation team to confirm and update it. Once it released I will let you know.
Thank you for your reply.
I understood well.