Re: [OpenBIOS] [PATCH] Support any build directory