krait-defines: create a new common header file shared used by various…