This patch corresponds to the patch "okl4: don't rely on BASE_DIR for vpath", addressing the L4/Fiasco and L4ka::Pistachio kernels.