dual boot with Ubuntu 11.10 and FC16?