Use buildrump.sh only for the kernel.

This repo implements its own hypercalls and we don't need the POSIX ones
from buildrump.sh