Refs #467. Added generic kernel file for x86_64.