x86_32: remove unnecessary use of %ebx as the boot cpu flag