Kernel Upgrade: 3.10.32 -> 3.12.13

-> Upgrade linux kernel, and configure new options

Also adds:
    -> Helper script for finding kernel help text
    -> Updates gentooInstall to update /etc config files
    -> gentooInstall to clean down old pacakges