2 of 2 deleted 4 characters in body

The Error stating that the AVD's config is missing a Kernel file is because when I checked the AVD Manager, the concerned AVD had a red cross-mark against it! Once I repaired this AVD I found that the error was eliminated!