system
12
Sorry for the delayed reply.
I followed your instructions and activated hardware-assisted virtualization before rebooting. It seems to work: Batman starts up fine.
Thanks for the great support. 
Should I replace the patched file with the original (backuped) one? Or should I just wait for the next Avast update and keep it until then?