# Placeholder file, no vDSO hwcap entries used in this kernel.