kernel/configs/base-generic/arm/aarch64/CONFIG_64BIT