what does the device append to the 64-bit prefix that it receives from the router to create its IPv6 address?