Lexikon: move specific kernel defines to common

Change-Id: I5688dff0346fd35507bd03480797c3f84c678b04