[OpenBIOS] Latest ESP patch problem