armvirt: 64: add missing kernel config symbols