I have compiled K1 Pro image and tested it. Here are the results:
Boot: Yes
Display: "Please wait: booting ..." message, then spinner and then Language Selection Screen
WebIF: Working
Telnet: Working
FTP: Working
Skin: Full HD working
Remote: Working
DVB Driver: Loaded and tuner AVL6862 (DVB-S/DVB-T only) detected.
DVB-S Scan: Enigma2 crashes at DVB-S tuner setup (while changing configuration mode from simple to advanced, it does not crash if we first setup DVB-T or disable it and then go to DVB-S setup) but second time setup is completed, scan started, scanned all frequencies but completed without finding any channel.
Note: Shortly, I will upload here links of test images of K1 Pro, K2 Pro (S905) & K1 Plus, for other users.