[OpenBIOS] Device Tree and FCode evaluator