Input: xilinx_ps2 - make Open Firmware device ids constant