Apply patch to fix power when booting via PXE
[grml-etc.git] / debian / docs