Based on what I am seeing on my phone right now it seems that the memory used by the kernel is subtracted from the total available plus whatever else it has allocated