To be more specific, commit f47f46d7b09cf1d09e4b44b6cc4dd7d68a08028c works, commit ab1304b986468e3ef698ec4e1cb1a3d4ba080811 does not. Furthermore, checking out Ubuntu 3.19.0-13.13 and reverting commit ab1304b986468e3ef698ec4e1cb1a3d4ba080811 (which requires making a minor merge conflict adjustment) does not work either.
To be more specific, commit f47f46d7b09cf1d 09e4b44b6cc4dd7 d68a08028c works, commit ab1304b986468e3 ef698ec4e1cb1a3 d4ba080811 does not. Furthermore, checking out Ubuntu 3.19.0-13.13 and reverting commit ab1304b986468e3 ef698ec4e1cb1a3 d4ba080811 (which requires making a minor merge conflict adjustment) does not work either.