#!/bin/sh

# Causes UEFI exception on boot, "invalid opcode" ???
microcode_after_boot=true