Micro optimized paging_asm.s for fun