[BUG] usage of $kernel_addr_r in distro_efi_boot()