Re: [BUG] usage of $kernel_addr_r in distro_efi_boot()