After getting my hard drive corrupted by dual boot of Linux, and having to delete everything, I decided to not use it again. With the fresh install of OSX, I inspected the partitions in Terminal and deleted most of them. However, there is a 200mb EFI partition still there. Is it safe to delete it, or will deleting it mess up my system again?