Pocketbook Era and Inkpad 4 Kernels

[enthdegree]

Hello, it appears the Pocketbook Era (700) and Inkpad 4 (743) kernel sources haven't been published. See the repo where they're skipped over, with only configs for the Inkpad 3 (740), Inkpad X Pro (1040) and older:

https://github.com/pocketbook/kernel...ch/arm/configs

A cursory search suggests the source's only dependence on device model is 3 places: kernel config, sources for different device peripherals, and a button mapping here:
https://github.com/pocketbook/kernel...or/sc7a.c#L514

If I understand correctly,

1. for the devices we have source for, one is currently able to compile a kernel that's working, including screen and wireless, no binary blobs anywhere
2. there is precedent that Pocketbook publish the 700 and 743's kernels as they have the others

Are both these statements accurate? Looks like pocketbook has been good about publishing the source in the past. Does anyone know a likely way of getting them to do it again?