diet linux-tkg v7.1.4

This is a version of linux-tkg built with the option _kernel_on_diet enabled.
If you encounter issues with it, please build the kernel locally with that option disabled.