Just had a weird kernel failure on first boot of a @DigitalOcean box with Ubuntu 13.04. Rebuild fixed the problem. Strange.