So far, I couldn't set up the ipv6 on my rpi3B+ board, I need to do more study.
And I checked the eoan-proposed, the 1019 kernel is already there.
If there is no this file in the folder /etc/apt/sources.list.d/ on your board, you could put this file to that folder and run sudo apt-get update
Then you could install 1019 kernel to do the test.
sudo apt install linux-image-(press tab), it will list 1019 kernel.
So far, I couldn't set up the ipv6 on my rpi3B+ board, I need to do more study.
And I checked the eoan-proposed, the 1019 kernel is already there.
If there is no this file in the folder /etc/apt/ sources. list.d/ on your board, you could put this file to that folder and run sudo apt-get update
Then you could install 1019 kernel to do the test.
sudo apt install linux-image-(press tab), it will list 1019 kernel.