[LinuxBIOS] Questions and thoughts on documentation