[kernel] CPUID and long mode detection

Note: now refuses to boot without x86_64 even though it doesn't need it yet.