http://www.start64.com/index.php?option=com_content&task=view&id=223&Itemid=60
good news at least instead of bad news :o
The test has led to the conclusion that avast! 4.7.869 contains both a 32-bit and a 64-bit code, hence it is able to provide for the full security of the system.