armvirt: add kernel config change missing from 0d44f0cb