modify tombstone.c for SuperNexus fix build error