Booting alternative kernels from primary disk?