#!/bin/sh

sed -i 's/00 0x42000000 0x/00 - 0x/' /boot/boot.ini
