Re: [LinuxBIOS] get_apicid_base unresolved?