kernel: Reduce dmesg spam

Signed-off-by: Pranav Vashi <neobuddy89@gmail.com>
Signed-off-by: LaboDJ <jacopolabardi@gmail.com>
vfp: Cortex-A15 optimizations