Bump kernel for x86

 linux-3.13.3 + hardened-patches-3.13.3-2.extras
Bump kernel for amd64

 linux-3.13.3 + hardened-patches-3.13.3-2.extras
Add haveged to generate entorpy
Tweak kernel config for amd64 and x86

For added entropy:
 PAX_LATENT_ENTROPY

Additional supported nics:
 NET_VENDOR_ARC
 ALX
 I40E
 SH_ETH
 SMSC911X
Move haveged to tty4
Improve readability of build scripts
configs/setup: add stop_pause() to wait on user
Bump kernel for x86_64 and x86

 linux-3.13.5 + hardened-patches-3.13.5-1.extras
Merge branch 'master' into more_docs