BIOS update & automatic DSDT patch in command line

BIOSがアップデートしたのでDSDTもいちおうアップ
しかしいちいちGUIでやるのはめんどいので、コマンドラインからやる方法です
1. patchmaticを /usr/local/binにインストール
2. patchesにこのパッチを入れて、下記のcsh scriptを実行

#!/bin/csh

cp dsdt.dsl dsdt-0.dsl

foreach n ( patches/* )

  echo "patching dsdt.dsl <<$n"

  patchmatic dsdt-0.dsl $n dsdt-1.dsl

  mv dsdt-1.dsl dsdt-0.dsl

end

mv dsdt-0.dsl dsdt-patched.dsl

3. iasl dsdt-patched.dsl でコンパイルすれば dsdt-patched.aml ができます