toolchain: use right file for size computation
k24 port: adjust flash section sizes