#!/bin/bash

set -e

gzip -dc ${2} >${2/vmlinuz/vmlinux}
