How to partition mac os x for linux