Build files for Galaxy Note i717 kexecboot kernel image