Vero4k: page allocation failure

I am having, probably since kodi19 update, osmc hard locks related to page allocation failures. They happen even when the system is mostly idle. The system is running kodi, and tvheadend in a docker container, with a dvbsky 960 tuner plugged in to usb, no other devices.

Here is a sample journal
https://paste.osmc.tv/komeqeluce

Kodi logs with no debug but kodi was idle since boot in this instance.
https://paste.osmc.tv/xudadalaxo

The source of the page allocation failures varies, some samples:
https://paste.osmc.tv/edojayamif

System info
https://paste.osmc.tv/caqetoveyu

Is the DVBSky tuner externally powered?

Have you tried removing it?

It’s externally powered. I guess I will have to try with it unplugged. Just checking if the problem rang a bell.

Let us know how it goes. DVB tuners use a fair bit of power.