The Error stating that the AVD's config is missing a Kernel file is because the 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!