[PATCH v2 4/5] x86: edison: Generate an image suitable for xFSTK