Linux kernel version: 5.1

Release date: May 5, 2019