3. Using gdisk, delete the stateful partition (STATE). Re-create it with the same index (1), same label, same code (700), and same block start. I used a new size of 256MiB. Create two new partitions: one of size 16MiB, and one that takes up the rest of the disk. Set their type codes to 7F00 and 7F01 respectively. I named them KERN-ARCH and ROOT-ARCH, and on my disk they ended up having indices 13 and 14. Save changes to disk and reboot. This will clobber your stateful partition (it's not possible to unmount/resize it gracefully as far as I can tell), so if you want any data off of it, you'd better grab it first.