HAMMERHEAD: To the hammerhead_defconfig