[LinuxBIOS] issue 31 is resolved.