fix to allow loader.o to boot kernel with parametars