mecha: kernel compilation fixes

Change-Id: Ibc50437e9376d2fb78fdae46698dd544c3b4dc5e