kernel/vga: Fix register name in a comment.
kernel - (32 bit) fix MP boot problems

* Same bug fix for bootstrapping the idle thread as in other architectures.