Igen, le kell írni, hogy te SLAAC-ot szeretnél használni és neked ebben az esetben nem jó.
Mivel vannak más esetek (említett DHCPv6 pl.), így arra megfelelő lehet a /64 is.
Mivel nem vagyok gondolatolvasó (szerencsére), így nem tudhatom, hogy neked mi a megfelelő megoldás és miért. Most, hogy leírtad az egyik szükséges feltételt, így érthető.
Az RTFM-re nincs szükség, elég az RTM.