Comment 1 for bug 240470

I just realized I didn't mention this explicitly: the kernel that comes in the installer images (the netboot ones at least) broke during boot, exactly as it's described in the bug I linked above. That's why I needed to use the -19.33 kernel.