kboot: Account for machine specific padding

AMD64 kernels have an extra 2MB of padding that we need to account
for. So make the padding proper on a per-architecture basis.

Sponsored by: Netflix
Reviewed by: kevans, jhibbits
Differential Revision: https://reviews.freebsd.org/D49861