olá
n precisas podes meter assim
IOPCIMatch
0x0e2210de;0x10d810de
e assim sucessivamente, mas varia de kext para kext depende com a kext recebe a info da plist
pode ser com espaço em vez ;
para no boot fazeres isso só
-s
e tás no terminal e ai podes apagar , mover, renomear ou editar as kext, mas tens de saber bastante de unix
bom hack