• the kernel has been updated to v4.17.4;
  • latest BFQ patches have been applied;
  • PDS build fix for RPi has been cherry-picked.