[OpenBIOS] openbios cross compile fails with gcc 5.2