further virtPok BSP cleanup for midterm
libcpu i386 midterm cleanup