I attached a kernel patch that should allow you to build LE image with TBS 5230 driver.
1. Set up LibreELEC build system.
2. Copy the patch to /packages/linux/patches/default
3. Edit /projects/Generic/linux/linux.x86_64.conf. Add the line
CONFIG_DVB_USB_TBS5230=m
4. Build the image.