split bootloader & kernel

Hi,
this will help people who build their own kernel.
even if this change nothing for 99.5% of the users, i really hope you will consider to include this small improvement (the 0.05% thanks you in advance ;)