docs: Fix Hakefile comment
[barrelfish] / platforms / ARM_FastModels /
drwxr-xr-x   ..
drwxr-xr-x - ARMv8_Base_A57x1