Switch top the preferred kernel type naming.
Found by checkpatch.
Signed-off-by: NStefan Schmidt <stefan@osg.samsung.com>