HBSD: added HARDENEDBSD kernel config

Signed-off-by: Oliver Pinter <oliver.pntr@gmail.com>