Using latest kernels (5.0-rc) and latest intel-gpu-overlay it works correctly. It is only failing when older kernels, as 4.18.0-15, are used.