[DRIVERS] Minor improvements to linux portability headers

This patch does minor improvements to linux/device.h and linux/workqueue.h
header files.

We also add linux compatible dev_notify() helper macro.

Signed-off-by: Anup Patel <anup@brainfault.org>