PICO-PI-IMX7: Editing and Recovery/Linux 4.19.x

Can I assume you already followed?

Change back to ./armv7-lpae-multiplatform/, patch the files under ./KERNEL/ then run:

./tools/rebuild.sh

Then update:

/boot/extlinux/extlinux.conf

Then install the kernel, modules, and dtbs’s:

Regards,