[LinuxBIOS] Another dumb C question