The 787's core software is part of its FAA type certificate. When a bug appears, airlines cannot patch it themselves. Here is ...