No boot.img's are model specific but you can try. If it doesn't work just dirty flash the rom again or extract the rom.zip and flash the boot.img to get back to the original
I extracted boot images for each device
I managed to get Magisk running. There was error in kernel fixed by patch 4aedd4b0545222fed4bb7318fc144025eda8e119. I built boot.img image and full ROM for GT-P5200.
Source in my github, images in androidfilehost (user dpdudek).
I cannot post...
Could you please consider baking in the patches to use microG: https://forum.xda-developers.com/android/software/lineageos-microg-t3700997
I checked and found that microG patches are already applied.
This is the commit in nels83...
Where can i Download the Boot.img ddudek77?
There are also lineage builds? Does it differ to Nels one?
My builds are made with Lineageos tree, Nels wrote that "Everything else is pure OmniROM 6.0.", so he probably built with omnirom tree.