distro/oel: Change default Linux kernel to 4.18