x86_32: summit_32, use BAD_APICID