[OpenBIOS] [PATCH] openbios: compile fixes for GCC 7.3