Error: Category details not found for ID gic-switched-mode-power-supply