check actual 4 bits that indicate paging support (3 were being checed b4)

1 files changed, 1 insertions, 1 deletions

diff --git a/kernel.c b/kernel.c
index b387a10..76b314d 100644
--- a/kernel.c
+++ b/kernel.c
@@ -25,7 +25,7 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags)
 
   char *paging;
 
-  switch(ID_MMFR0 & 7) /* lowest 4 bits indicate VMSA support */ {
+  switch(ID_MMFR0 & 0xf) /* lowest 4 bits indicate VMSA support */ {
   case 0 : paging = "no paging\n\r"; break;
   case 1 : paging = "implementation defined paging\n\r"; break;
   case 2 : paging = "VMSAv6, with cache and TLB type registers\n\r"; break;