Linux kernel version: 5.1.4

Release date: May 22, 2019