[Arm-dev] Kernel 4.19.1

In a few hours, hopefully, there will be a kernel 4.19.1 for armhfp 
landing here https://armv7.dev.centos.org/repodir/community-kernel-latest/
That kernel is almost the same as fedora, with only a few tweaks, but 
since it is all very new, please test carefully, and report back.

Don't say I didn't warn you.... :D

Pablo.