#!/bin/sh

BOOTINFO=`$1 -t $2 | grep "\b$3\b" | awk '{print $1}'`
echo "0x"$BOOTINFO
