Hi Heinrich, On Tue, Nov 19, 2019 at 3:46 PM Heinrich Schuchardt <xypron.glpk at gmx.de> wrote: > mx31pdk_defconfig > mx35pdk_defconfig No problem on disabling UEFI for the mx31/mx35 boards.