[OpenBIOS] OK, sercons is not the problem