x86-64: enable iso generation

Signed-off-by: Dirk Neukirchen <dirkneukirchen@web.de>