#!/bin/sh
# Copyright 2007 Dell Computer Corp
GRUB_CONF=/boot/grub/grub.conf
KERNEL_WORKAROUND='iommu=soft console=tty0 numa=off'
perl -p -i -e "s/^(\s*kernel .*)/\$1 $KERNEL_WORKAROUND/" $GRUB_CONF