armv7hl LPAE kernel config

Hi all, I realized that config/armv7hl/lpae is a whole flavored config instead of an 'overlay' config like for example config/arm64/64kb. Wouldn't it make more sense to transform lpae config into an overlay so that any driver changes done to armv7hl default config does not need to be mirrored against the default one? Regards, Matthias