Also fix multiple places where we were using uint8_t as page table flags instead of PageTable::flags_t which we promoted to uint16_t while back.  | 
			||
|---|---|---|
| .. | ||
| i386 | ||
| x86_64 | ||
				
					
						
							Also fix multiple places where we were using uint8_t as page table flags instead of PageTable::flags_t which we promoted to uint16_t while back.  | 
			||
|---|---|---|
| .. | ||
| i386 | ||
| x86_64 | ||