Fixed missing format specifier which failed builds on 32-bit architectures.
Fixed missing format specifier which failed builds on 32-bit architectures.

modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish