Small changes, fix last few wrong indentations. TODO cleanup.
IA-64 bits. Call main_bsp from kernel_image_start(). Prepare for IA-64 context_save and context_restore.