If the name of the file is indeed kernal32.dll, instead of kernel32.dll, and since avast! tried to emulate the file (which means it’s most likely packed), the file is most likely malicious (even if the particular detection was a false positive itself).