armvirt: add kernel configs for 4.19