BTINFO_KERNELFILE
if ((bi_file = lookup_bootinfo(BTINFO_KERNELFILE)) != NULL)
BI_ADD(&U.bi_file, BTINFO_KERNELFILE, size);
if ((bi_file = lookup_bootinfo(BTINFO_KERNELFILE)) != NULL)
bi_add(&U.bi_file, BTINFO_KERNELFILE, i);