Vladimir Serbinenko 25492a0f04 Add wbinvd around bios call.
Via C3 has problems with cache coherency when transitioning between the modes,
so flush it around bios calls.
2016-02-14 08:34:10 +01:00
..
2016-02-14 08:34:10 +01:00
2015-01-26 09:38:11 +01:00