[OpenBIOS] Newbie question about the FAQ