Applied, thanks!
- [PATCH 0/3] 64-bit improvements (rump drivers, debug) Luca Dariz
- [PATCH 1/3] pmap: only map lower BIOS memory 1:1 when... Luca Dariz
- [PATCH 2/3] x86_64: enable code for managing interrup... Luca Dariz
- [PATCH 3/3] x86_64: add 64-bit registers when dumping... Luca Dariz
- Re: [PATCH 0/3] 64-bit improvements (rump drivers, de... Samuel Thibault
