Merge "header-abi-diff: Fix omission of warning message for extensions." am: dd511b6b am: d4767873 am: 7e4bcd8f Change-Id: I7634144917d27f9031433fabba09959159ec6c0d