sirius: Define kernel target path

Change-Id: Ib7ad35972ab1bde9c496ef0a8e6d8a896f5a30f1