Symbol: tpacpi_rfk_id