Re: risc-v - efi_free_pool: illegal free