[PATCH 10/15] Allow building .rom files for non-x86 boards