hex files with new sigma instructions and debugged kernel