opensemc: introduce ELiTE kernel, KitKat edition