Paper over a really dumb bug in buddy_alloc. Should actually fix at some point.