Re: [LinuxBIOS] #17: clean up linuxbios table handling