[Concept] [PATCH 15/19] boot: Simplify kernel-address handling in label_boot()