The first thing is to find an existing Linux distro built for the Luckfox Pico Mini, so you can see what drivers need to be enabled or patched in, and how the boot configuration works. Then compare that distro's Linux kernel configuration with the
PiCore config, to build a kernel that should support booting PiCore. See
Custom Kernel on the TC Wiki, but using armhf instead of x86. Also see
Remastering for rebuilding the initrd with drivers for your kernel build instead of for PiCore.
Setting up the boot configuration will depend of how the Luckfox Pico Mini's firmware works, so you'll have to find specific docs for that hardware or try and blindly copy an existing Linux distro that boots on it.