Thanks for pointing out.
1 of 1 people found this helpful
you are correct, the region size should be 0x03FFFF rather than 0x3FFFFF.
Another workaround might be to truncate the region size at the device size,
i.e. to take the minimum of region size and device size. That should work in all cases.
In any case, we have filed an internal bug for this and are going to correct this asap.