[Concept] [PATCH 14/19] boot: Rename kern_addr in label_boot()