Merge pull request #75 from xobs/bios-windows-build
authorenjoy-digital <florent@enjoy-digital.fr>
Mon, 18 Jun 2018 09:21:06 +0000 (11:21 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Jun 2018 09:21:06 +0000 (11:21 +0200)
soc: bios: fix windows build


Trivial merge