• the kernel has been updated to v4.18.12.