patmos: command-line option to enable block-aligned stack cache