samsung-coreprimevelte: add mainline kernel

Marked as draft because I'm experiencing issues with init being unable to open /usr/share/misc/source_deviceinfo and therefore the kernel panicking. While I have been able to successfully boot into a rootfs with MATE from the SD card with this kernel earlier today, this no longer seems to be the case for some reason.