x86/apic: Use u32 for check_apicid_used()