fixed build for FwKernel on Linux

Change-Id: Iaaa6773ea6ed47934ca44f0e14d9559b0297f6b6