Some CPUID functions (e.g. 0xb) require input values in ecx.
This isn't particularly useful because by the time we've entered init() the CPU had better support x86_64 anyway. However this shows the CPU flag in System Monitor - even in 32-bit mode.
This does not add any functional changes