Towards Automatic Inference of Kernel Object Semantics from Binary Code