project: thulium: Fix 32 bit kernel load address

Fix 32 bit kernel load address.

Change-Id: Ieb25338768de962c3baa6e4748ae7929f7a70994
1 file changed