[coreboot] Help required for compiling EDK2 ' s CorebootPkg