8914 loader: gcc 4.4.4 fails to allocate register for do_cpuid()