hlte: Some default kernel values from boot

Change-Id: Id912e116400ed39eb119d1ba53043a00bfe3bedc