Linux kernel 7.2 is officially out now gamingonlinux.com