Having determined that the observed "missed key-release events" problem happens regardless of i8042.noloop, I've submitted that issue as a separate bug report LP: #607350.
Having determined that the observed "missed key-release events" problem happens regardless of i8042.noloop, I've submitted that issue as a separate bug report LP: #607350.