patmos-chisel: Always return 32-bit value when reading binary file.