[LinuxBIOS] get_apicid_base unresolved?