Look for proxy kernel relative to riscv64-unknown-elf toolchain