[PATCH 1/1] doc/README.distro: kernel_comp_addr_r