Remove unused <{cpu,machine}/coredump.h> header.