Bloated Linux configuration for 64 bit HPS architectures

Is there any way to get an arm64 defconfig for SoC devices with an aarch64 processor in linux-socfpga? There is an socfpga_defconfig for 32 bit architectures (Arria/Cyclone) in the linux source tree,...