Dual boot with two Linux distributions