Re: [OpenBIOS] [PATCH] libopenbios: fix build for platforms without fw_cfg interface