Should be, but in this day of huge hard drives I wouldn't bother. I think I deleted those from my own system once. I usually do this for most of my applications too. Thing is they don't take up that much space or affect the system's performance, so I would leave them be--especially because it has to do with the boot loader. Generally its not a good idea to go deleting random files that the system uses. Thats one quick and sure way to mess up a system if you don't know what you're doing.