Workspace files are removed. Projects have been modified to produce as
result of build process the "kernel.img" files. This makes possible
directly copy them to SD card and run the demos.