A380 FMC problem