Building a very simple x86/i686 kernel