#!/bin/bash

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

