Preserve the value of the ebx register in cpu_get_capabilities()

Include config.h from kernel/arch/cpu.h

Don't leave the cr3 variable in pg_init() uninitialized; remove unused braces and calls to dbg_printf()

Make sure the upper half of eax as returned by cpu_set_pstate() is zero

Modify arch_init() to preserve the contents of the ebx register

Remove object files that were added in error; add current state of the source

Initial commit, starting with the code base from github