#include <third/boot/bp.h>

int boot();

int amd64_quirks(BpBootinfo *info) {
	return boot();
}