HomeFreeBSD

Revert "gicv3: Add checks for the device ID"