Change the Makefile to generate the OS loader as a flat binary