I think it means kernel make depend.
It uses gawk many times, and gawk use floating point heavily.
[digression]
Some years before, I bought 80387 for gawk under DOS ;-).
Execution speed was different greatly
even if few numerical expressions in script.
----_--__---_-_-_-__--_-__-__---_-_----_--_-_---_---_----
_/ TANAKA Yoshitomo _//
/ Suginami-ku Tokyo, Japan _// serow@silkwood.rim.or.jp