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