OpenBIOS gained 40p support in 5b20e4ca
Use it, instead of relying on an unmaintained and very limited firmware.
Signed-off-by: NHervé Poussineau <hpoussin@reactos.org>
Signed-off-by: NDavid Gibson <david@gibson.dropbear.id.au>