Rename faux_hammerhead_defconfig to aux_defconfig