Ubuntu 18.04's objdump is too old (2.30) devkitA64's objdump is also too old (2.32) and doesn't support --source-comment