A simple bootloader for x86 platforms based on code from barebox