Glad to see this happened to you before and is a bug, and not a stupid mistake of my part. Problem is, I just tried and it don't work. I entered gdisk, did "x enter z enter" then re-created both partitions, copied files, dd boot0 and boot1h, umount, reboot on it. Still the same thing, can't find mach_kernel. The file is there, what else does it needs?