This is a prerequisite for adding NOMMU SMP support.
Signed-off-by: NRich Felker <dalias@libc.org>