P51xx: Define config_deviceHardwareKeys properly

Change-Id: If5dfca02bbddd291e77ef71ab3627eded40e8fe1