[kernel] Do not use Obj in binary_cache.ml

The performance impact is small but measurable (about 2% in run time
difference for polarssl and debie1 in open-source-case-studies). That's
the tradeoff for not having to worry about misusing Obj.