Size of blockram is not as expected

[lmbollen]

When one sees:

  peConfig =
    PeConfig
      (0b100 :> 0b010 :> 0b101 :> 0b110 :> 0b111 :> Nil)
      (Undefined @(64 * 1024)
      (Undefined @(64 * 1024)

You might think this creates an instruction memory and a data memory both of size 64kB.
However, PeConfig receives InitialContents of type Bytes 4, which means we actually receive memories of size 256kB(64 * 1024 * 4).

It should be easier to define create memories with a certain size. For now it's PBKAC