kernel is now booted with GRUB, added also bochs configuration and image creation tasks