Kernel config for Hercules and Skyrocket