This commit adds the generation of the binary kernel files: kernel.bin kernel.lst kernel.strip Change-Id: I7e1aab494ee1143994b4b65d0991906fbe8a36df Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com>