[cestith]

You're right. I'd forgotten about that. I haven't forgotten about the weird 64-bit-CPU-with-32-bit-EFI snafu, though. That was a pain.