newlib/x86_32: add casting to skb calls in pci
newlib/x86_32: add casting to skb calls in pci

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