Verified Boot for Embedded (VBE) proposal