core: make cpuid code compile cleanly with 32bit PIC