Unfortunately, I know of no tools that will 'help' you use the bit-access functions ('bit banding') available to the upper-half of SRAM in Kinetis K. I have one application with a LOT of boolean arrays, and I was really hoping the tools would allow me to declare them so, and the compiler and linker would recognize the special addressing requirements, but no dice. You have to 'make your own RAM space' and force allocation within it so that the compiler can understand the access process. I did find one VERY nice usage for bit-banding as my 'local' image of a monochrome bitmap display, and I could use the bit-banding access to directly write individual pixels for line and bitblt functions, in an array padded with SPI-overhead bytes for DMA. Look at my post in here:
https://community.freescale.com/thread/309727
