hrtimer_plugin: handle name "timer"

On my machine the field is called just "timer", not "hrtimer",
so handle that (silently).

Signed-off-by: Johannes Berg <johannes@sipsolutions.net>
1 file changed