sscall: Print driver ID correctly
sscall: Print driver ID correctly

Signed-off-by: Dimitris Papastamos <a91262282f71bb8488398dcc9202f777d0206664@opensource.wolfsonmicro.com>

Drakevr/sscall,Drakevr/sscall