In config-linux.md: type of major and minor is int64 in `Device`, but it's *int64 in `DeviceCgroup`. I think they should be the same. Should they?