[OpenBIOS] Segmentation fault