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!