#!/bin/sh

grep "^pci8086,1030" $ROOTDIR/etc/driver_aliases > /dev/null 2>&1 ||
	echo 'iprb "pci8086,1030"' >> $ROOTDIR/etc/driver_aliases

grep "^pci8086,2449" $ROOTDIR/etc/driver_aliases > /dev/null 2>&1 ||
	echo 'iprb "pci8086,2449"' >> $ROOTDIR/etc/driver_aliases

exit 0
