[Concept] [PATCH 07/11] boot: Record the kernel size in pxe_utils