A simple bootloader for linux kernel