Add HARDENEDBSD i386 kernel config