This to avoid the “No newline at end of file” error from patch/git. Change-Id: Ice82d4a36a0893e8f71dbffbdab154d1fbab8a09
This is useful for selinux debugging, so is most useful in its own optional element. Change-Id: I83532242eacbe211d3bb13e00436f682ca6d7e76