P31xx: Define config_deviceHardwareKeys properly

Change-Id: I7f3192f604091f0d2dc59d990b91a3b25e0b8ed1