[OpenBIOS] [PATCH] build: support disjoint build directory