Thanks! Did you have to flash the dual boot menu again after flashing the OS2008 or was that menu when turning on the device still there?