drivers: sifiv: make them 64-bit compatible

Make those drivers compatible with a 64-bit build.

Signed-off-by: Nicolas Pitre <npitre@baylibre.com>
3 files changed