cat $PINTOSDIR/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch | patch -p1
cat $PINTOSDIR/src/misc/bochs-2.6.2-banner-stderr.patch | patch -p1
cat $PINTOSDIR/src/misc/bochs-2.6.2-block-device-check.patch | patch -p1
cat $PINTOSDIR/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch | patch -p1
cat $PINTOSDIR/src/misc/bochs-2.6.2-banner-stderr.patch | patch -p1
cat $PINTOSDIR/src/misc/bochs-2.6.2-block-device-check.patch | patch -p1