kernel-headers: add linux/avtimer.h

Change-Id: Ib96c5fb1f154eb821022af8dbc0c8510d26f846a
Signed-off-by: Thierry Strudel <tstrudel@google.com>
2 files changed