armvirt: 32: refresh kernel config