[LinuxBIOS] A question in auto.c