[LinuxBIOS] setting up linuxbios?