Windows 7 / IPv6 on PPP Adapter

[Liviu Pislaru]

What is your opinion about Windows 7 IPv6 over PPP behaviour that i'm 
going to describe below ?

if the global IPv6 address of the PPP interface has the last 64 bits 
different from the last 64 bits of the IPv6 Link Local address 
(interface identifier negociated  by IPv6CP), then IPv6 is not going to 
work on that machine.

[this is working on Windows 7 & Linux ...]

PPP Adapter:
IPv6 Address: 2a02:2f0b:503f:fff::50c:9a9b
Link Local IPv6 Address: fe80::50c:9a9b
Default Gateway: fe80::1

[...]

[this is not working on Windows 7 but is working on Linux ...]

PPP Adapter:
IPv6 Address: 2a02:2f0b:503f:fff::50c:abcd
Link Local IPv6 Address: fe80::50c:9a9b
Default Gateway: fe80::1

[...]

you might end up with this config on your PC if the BNG / PPPoE server 
is using RA with M flag (just for default route) and a DHCPv6 server for 
IPv6 global address.

is there any RFC that refers this issue ?

thanks,
liviu.