[ARM] Clean up KERNEL_RAM_ADDR