Add MKext support for the booter.